P, Q:. SqStable(P)  SqStable(Q)  SqStable(P  Q) 

latex

ProofTree

Definitions	t  T, P  Q, , x:A. B(x), P  Q, P  Q
Lemmas	sq stable wf, sq stable implies, sq stable and